Institute for Logic - PDFSEARCH.IO - Document Search Engine

Institute for Logic
Results: 325

#	Item
171	A Bayesian Method for Robust Estimation of Distributional Similarities Jun’ichi Kazama Stijn De Saeger Kow Kuroda Masaki Murata† Kentaro Torisawa Language Infrastructure Group, MASTAR Project National Institute of In Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-07-05 10:42:37 Semantic similarity Entailment Valuation Logic Computational linguistics Deduction
172	SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-01 12:39:40 Metalogic Universal algebra Formal languages Structure Interpretation Parity of a permutation Substructure Hoare logic Goto Mathematics Model theory Mathematical logic
173	Constraint Satisfaction Modules A Methodology for Analog Circuit Design Piotr Mitros [removed] Massachusetts Institute of Technology Add to Reading List Source URL: mitros.org Language: English - Date: 2008-05-17 03:27:14 Artificial intelligence Lagrange multiplier Constraint programming Constraint satisfaction Constraint logic programming
174	Constraint Satisfaction Modules A Methodology for Analog Circuit Design Piotr Mitros [removed] Massachusetts Institute of Technology Add to Reading List Source URL: mitros.org Language: English - Date: 2008-05-17 03:41:17 Point on plane closest to origin Constraint programming Constraint satisfaction Constraint logic programming
175	A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EE[removed]Tallinn, Estonia R Add to Reading List Source URL: set.ee Language: English - Date: 2007-12-06 06:22:33 Logic Mathematical logic Structure Universal algebra Interpretation Hoare logic Parity of a permutation Goto Denotational semantics Mathematics Model theory Formal languages
176	Compositional Type Systems for Stack-Based Low-Level Languages Ando Saabas Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: set.ee Language: English - Date: 2006-10-30 06:58:01 Philosophy of language Philosophy of mind Semantics Entailment Zeta Symbol Logic Interpretation Model theory
177	Institutions Krasnow Institute for Advanced Study (George Mason University, Fairfax, VA) Cultural Logic LLC (Providence, RI) Lead Investigators Giorgio Ascoli Ph.D., Professor of Neuroscience Add to Reading List Source URL: www.iarpa.gov Language: English - Date: 2014-03-06 18:49:31 Computational neuroscience Neuroscience Interdisciplinary fields Primary metaphor Neuroinformatics Metaphor Krasnow Institute for Advanced Study Cognitive linguistics International Neuroinformatics Coordinating Facility Science Literature Knowledge
178	Enhancing Indigenous Financial Capability Programs First Nations Foundation • Prepared for the Indigenous Financial Services Network • December 2011 The Authors Add to Reading List Source URL: www.fnf.org.au Language: English - Date: 2013-07-25 00:00:16 Indigenous Australians Torres Strait Islands Logic model Financial literacy Torres Strait Islanders Australian Institute of Aboriginal and Torres Strait Islander Studies Indigenous peoples of Australia Australian Aboriginal culture Oceania
179	Latent Domain Translation Models in Mix-of-Domains Haystack Hoang Cuong and Khalil Sima’an Institute for Logic, Language and Computation University of Amsterdam Science Park 107, 1098 XG Amsterdam, The Netherlands Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:25:17 Mathematical logic Machine translation Semantics Interpretation Philosophy of language Philosophy of mind Function BLEU Statistical machine translation Mathematics Model theory Mathematical analysis
180	Computations, algebra and computer algebra in Coq Assia Mahboubi INRIA Microsoft Research Joint Centre (France) INRIA Saclay – ˆIle-de-France ´ Ecole Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2012-01-31 05:29:56 Mathematical logic Functional languages Coq Automated theorem proving Theoretical computer science Boolean algebra Proof assistant National Institute for Research in Computer Science and Control Formal proof Logic Mathematics Software

UPDATE